Home

_

ket1 _ ket2
the infix operator for ket label merge
merge the labels of the two kets, and multiply their coefficients
Note the identity element for ket merging is the empty ket |>
Ie, ket _ |> == |> _ ket == ket, for any ket

-- "week" + "day":
|week> _ |day>
    |weekday>

-- an abstract example showing the coefficient multiplication:
3|one> _ 5|two>
    15|onetwo>

+ , - , __ , :_ , .

infix type 1